/**
 * Stylesheet dedicated to the application documentation skinning. That is to say all pages that contain static content.
 * Skinning defines the look and feel properties like colors, border colors, background images. 
 * This idea is the one used by JQuery UI.
 * @author Clément HELIOU (clement.heliou@gmail.com)
 * @since 1.0
 */

/* Main styles */
.code, .formula {
	font-family: Courier New, Arial, Verdana;
}